-
1 конъюнкция отрицаний
joint denialБольшой англо-русский и русско-английский словарь > конъюнкция отрицаний
-
2 joint denial
English-Russian dictionary of computer science and programming > joint denial
-
3 joint denial
-
4 joint denial
English-Russian dictionary of computer science > joint denial
-
5 joint denial
-
6 denial
dɪˈnaɪəl сущ.
1) а) отказ( кому-л. в чем-л.) an outright denial ≈ прямой отказ strong denial ≈ решительны отказ unqualified denial ≈ безоговорочный отказ issue a denial Syn: refusal б) самоотречение
2) отрицание, опровержение
3) отречение Syn: disavowal, renunciation, disowning
4) юр. протест( обвиняемой стороны против обвинения) отрицание, опровержение;
возражение;
отклонение, отвод - sweeping * огульное отрицание - * of facts отрицание фактов - to make a (formal) * of a statement, to give a ( formal) * to a statement (официально) опровергнуть /отклонить/ утверждение, опубликовать( официальное) опровержение утверждения - to meet the charge with a flat * отмести /решительно отвести/ обвинение (юридическое) отрицание виновности;
отрицание причастности к преступлению;
отказ сознаться в чем-л. - * of a fault /of one's guilt/ отрицание вины /виновности/ - * of responsibility отрицание ответственности( за что-л.) отказ, несогласие - * of smb.'s request отказ выполнить чью-л. просьбу - the * of a favour отказ оказать услугу - to take no * и слушать /и слышать/ не хочу отказ, лишение - * of passports отказ в выдаче паспортов отречение - the * of one's family отречение от семьи - * of a faith отречение от веры - Peter's * (религия) отречение (апостола) Петра самоотречение, самоограничение запрещение - * of penetration запрещение полетов (над своей территорией) alternative ~ дизъюнкция отрицаний denial возражение ~ запрещение ~ несогласие ~ опровержение;
flat denial категорическое опровержение ~ опровержение ~ отвод ~ отказ;
to take no denial не принимать отказа ~ отказ ~ отречение ~ отрицание, опровержение, возражение ~ отрицание ~ отрицание виновности, отрицание причастности к преступлению, отказ сознаться ~ отрицание виновности ~ отрицание причастности к преступлению ~ самоограничение ~ самоотречение ~ of justice отказ в правосудии ~ опровержение;
flat denial категорическое опровержение general ~ отрицание всех существенных фактов, приводимых в исковом заявлении joint ~ конъюнкция отрицаний special ~ особое опровержение ~ отказ;
to take no denial не принимать отказа -
7 denial
[dɪˈnaɪəl]alternative denial дизъюнкция отрицаний denial возражение denial запрещение denial несогласие denial опровержение; flat denial категорическое опровержение denial опровержение denial отвод denial отказ; to take no denial не принимать отказа denial отказ denial отречение denial отрицание, опровержение, возражение denial отрицание denial отрицание виновности, отрицание причастности к преступлению, отказ сознаться denial отрицание виновности denial отрицание причастности к преступлению denial самоограничение denial самоотречение denial of justice отказ в правосудии denial опровержение; flat denial категорическое опровержение general denial отрицание всех существенных фактов, приводимых в исковом заявлении joint denial конъюнкция отрицаний special denial особое опровержение denial отказ; to take no denial не принимать отказа -
8 joint denial
1) Вычислительная техника: конъюнкция отрицаний2) Макаров: конъюнкция отрицания -
9 joint denial
мат.
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
закон де моргана — общее название логических законов, связывающих с помощью отрицания конъюнкцию ( и ) и дизъюнкцию ( или ). Названы именем англ. логика XIX в. А. де Моргана. Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции… … Словарь терминов логики
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где троичное множество, а неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества цифровые… … Википедия
Конъюнктивный одночлен — (минтерм) от переменных конъюнкция этих переменных или[1] их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборов аргументов. Если в одночлене одновременно содержатся переменная и её отрицание, то… … Википедия
Минтерм — Конъюнктивный одночлен (минтерм) от переменных конъюнкция этих переменных или[1] их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборе аргументов. Если в одночлене одновременно содержатся… … Википедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия